|
|
Theory and Practice of Natural Computing
by Dediu, Adrian-Horia.
Publication:
. X, 241 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Abdulla, Parosh Aziz.
Publication:
. XII, 223 p. 60 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Pecheur, Charles.
Publication:
. XIV, 199 p. 46 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computational Methods in Systems Biology
by Gupta, Ashutosh.
Publication:
. XX, 284 p. 58 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorics on Words
by Karhumäki, Juhani.
Publication:
. X, 263 p. 37 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Search Based Software Engineering
by Ruhe, Günther.
Publication:
. XVI, 326 p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Dueck, Gerhard W.
Publication:
. X, 263 p. 92 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Dynamical Systems
by Bernardo, Marco.
Publication:
. VIII, 181 p. 49 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Application and Theory of Petri Nets and Concurrency
by Colom, José-Manuel.
Publication:
. XII, 411 p. 166 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Techniques for Distributed Systems
by Beyer, Dirk.
Publication:
. XIV, 321 p. 66 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Coordination Models and Languages
by Nicola, Rocco.
Publication:
. XIV, 251 p. 76 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky
by Coecke, Bob.
Publication:
. XX, 363 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Petri Nets and Other Models of Concurrency VII
by Jensen, Kurt.
Publication:
. XVI, 423 p. 250 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computation Structures
by Pfenning, Frank.
Publication:
. XXIV, 451 p. 51 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Membrane Computing
by Csuhaj-Varjú, Erzsébet.
Publication:
. XII, 425 p. 104 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reversible Computation
by Glück, Robert.
Publication:
. X, 241 p. 70 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Verification, Model Checking, and Abstract Interpretation
by Giacobazzi, Roberto.
Publication:
. XII, 556 p. 123 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Unifying Theories of Programming
by Wolff, Burkhart.
Publication:
. VIII, 249 p. 4 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Swarm, Evolutionary, and Memetic Computing
by Panigrahi, Bijaya Ketan.
Publication:
. XX, 813 p. 308 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Internet and Network Economics
by Goldberg, Paul W.
Publication:
. XX, 564 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|